Search Results
Paul-André Melliès - A gentle introduction to template games and linear logic
"A gentle introduction to template games" by Dr. Paul-André Melliès (CNRS, University of Paris)
Paul-André Melliès - A Functorial Excursion between Algebraic Geometry and Linear Logic
Paul Andre Mellies: An introduction to tensorial logic and dialogue categories
Paul André Melliès - Dialogue Games and Logical Proofs in String Diagrams
Programming languages in string diagrams — Paul-André Melliès 061803
Paul Andre MELLIES - Programming languages and ropes diagrams Part 1 | NICE 8th Jan 2018
Programming languages in string diagrams — Paul-André Melliès 061704
Programming languages in string diagrams — Paul-André Melliès 061801 1
Programming languages in string diagrams — Paul-André Melliès 061603
Paul-André Melliès: Programming languages and string diagrams Part 2
Paul-Andre Mellies: "String diagrams, a topological account of proofs and programs"
